What does "type theory" mean?

A branch of mathematical logic and theoretical computer science concerned with types.

Type theory

Q: What is a synonym for "type theory"?

Common synonyms include: classification approach, semantic type framework, type system, type-based semantics, typing theory, typology.

noun

noun ·Rare ·Advanced level

Definitions

Noun

1
A branch of mathematical logic and theoretical computer science concerned with types. uncountable, usually
"Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages."

Synonyms

All synonyms

classification approach semantic type framework type system type-based semantics typing theory typology

Antonyms

All antonyms

type-agnostic semantics type-free approach type-free method untype method

Example

More examples

"Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages."

Next best steps

Browse writing guides Explore topic clusters